Well-ordering Theorem